VDict mobile



first order logic not found. Suggestions:

first-order logic
equational logic
first-order logic
HOL
BABEL
predicate logic
LOP
logic
Lambda Prolog
TEMPLOG
neutrosophic logic